<?hh

class B {
  protected function foo() { echo "hi from foo\n"; }
}
